741. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
742. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
743. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
744. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
پدیدآورنده : edited by Ferenc Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
117
745. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24-28, 1981
پدیدآورنده : edited by Ferenc Gecseg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
117
746. Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : L. Budach, ed,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic data processing - Congresses,Computational complexity - Congresses
رده :
QA
.
I573
75
.
5
1991
747. Fundamentals of computation theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : FCT '19)1991 :Gosen, Brandenburg, Germany(,L. Budach, ed
موضوع : ، Electronic data processing- Congresses,، Computational complexity- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
748. Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : L. Budach, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
529
749. Future Trends in Microelectronics :
پدیدآورنده : edited by Serge Luryi, Jimmy Xu, Alex Zaslavsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Systems engineering.
750. Fuzzy modeling and control :
پدیدآورنده : Fernando Matía, G. Nicolás Marichal, Emilio Jiménez, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fuzzy mathematics,Fuzzy systems,Intelligent control systems
رده :
QA248
.
5
.
F899
2014eb
751. General ecology :
پدیدآورنده : edited by Erich Hörl with James Burton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ecology.,Cultural studies.,Ecology.,Media studies.,NATURE-- Ecology.,NATURE-- Ecosystems & Habitats-- Wilderness.,Philosophy: aesthetics.,SCIENCE-- Environmental Science.,SCIENCE-- Life Sciences-- Ecology.,Social & political philosophy.
رده :
QH541
.
G453
2017eb
752. Generalization of some concepts and problems of complexity theory in structures
پدیدآورنده : by: Farzad Didehvar,^ADidehvar, Farzad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Computational complexity,Computer science -- Mathematics
753. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
754. Genetic programming theory and practice XI /
پدیدآورنده : Rick Riolo, Jason H. Moore, Mark Kotanchek, editors ; Foreword by Arthur K. Kordon
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Genetic programming (Computer science)
رده :
QA76
.
623
755. Geometric Algorithms and Combinatorial Optimization
پدیدآورنده : by Martin Grötschel, László Lovász, Alexander Schrijver.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis.,Mathematical optimization.,Systems theory.
رده :
QA167
.
B963
1993
756. Geometry and Complexity Theory
پدیدآورنده : \ J.M. Landsberg
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational complexity,Geometry, Algebraic,پیچیدگی محاسباتی,حساب هندسی,a01,a02,a01,a02
رده :
E-Book
,
757. Geometry and complexity theory
پدیدآورنده : Landsberg, Joseph Montague, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Geometry, Algebraic
رده :
QA
267
.
7
.
L26G4
758. Geometry of Defining Relations in Groups
پدیدآورنده : by A. Yu. Ol'shanskii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Geometry.,Group theory.
759. Global Optimization in Engineering Design
پدیدآورنده : edited by Ignacio E. Grossmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemical engineering.,Engineering design.,Mathematical optimization.,Mathematics.,Operations research.
760. Global dynamics :
پدیدآورنده : edited by Sir Alan Wilson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Emigration and immigration-- Mathematical models,Geography-- Mathematical models,International trade-- Mathematical models
رده :
G70
.
23
.
G56
2016